退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于SMT的稀疏迹线SOLOIST检查基础软件工程方法
Marcello Maria Bersani; Domenico Bianculli; Carlo Ghezzi; Srđan Krstić; Pierluigi San Pietro;
机译:验证合作软件:基于SMT的界限模型检查方法,用于确定性调度程序
机译:基于SMT的嵌入式ANSI-C软件边界模型检查
机译:通过基于SMT的有界模型检查来检查TRWIS的WECTLK属性
机译:基于SMT的稀疏迹线SOLOIST检查
机译:分布式系统软件模型检查的算法,启发式和系统方法
机译:软件工程原则提高R软件的质量和性能
机译:基于smT的无界软件模型检测中的自动抽象
机译:可扩展且准确的基于smT的数据流系统模型检测。
机译:基于SMT的BMC中软件程序的完整性确定
机译:软件规格检查服务器,软件开发方法,软件开发系统,记录介质记录软件规格检查程序,以及记录介质记录软件开发程序
机译:电信网络的维护和操作控制点,汽车工程的电信网络以及实施电信网络汽车工程的过程,要自动更改尺寸,播放Compatilhamento和装载货物,配置和测试新的硬件设备或软件。并分析硬件设备或软件中报告的故障。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。